Антонов К. В. , Семёнов А. А. «Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров» // Прикладная дискретная математика. Приложение 2020. №13 C.114-119
Отпущенников И. В. , Семёнов А. А. , Антонов К. В. «Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации» // Прикладная дискретная математика. Приложение 2019. №12 C.130-134
Вы можете добавить статью